Time , E - LOTOS , and the
نویسنده
چکیده
The proposed ISO standard formal description technique E-LOTOS is used to describe a leader election protocol (that of the IEEE 1394 serial multimedia bus), allowing illustration of the new aspects of the language, particularly time and parallelism.
منابع مشابه
A case study in abstraction using E
The proposed ISO standard E-LOTOS is used to describe the leader election protocol of the IEEE 1394 serial multimedia bus ((FireWiree). The E-LOTOS language facilitates descriptions at several levels of abstraction, therefore a broad understanding of the protocol at an abstract level can be gained before adding more complexity and concrete detail. A secondary aim is to illustrate some of the no...
متن کاملTime, E-LOTOS, and the FireWire
The proposed ISO standard formal description technique E-LOTOS is used to describe a leader election protocol (that of the IEEE 1394 serial multimedia bus), allowing illustration of the new aspects of the language, particularly time and parallelism.
متن کاملA case study in abstraction using E-LOTOS and the FireWire
The proposed ISO standard Enhancements to LOTOS (E-LOTOS) is used to describe the leader election protocol of the IEEE 1394 serial multimedia bus (``FireWire''). The E-LOTOS language facilitates descriptions at several levels of abstraction, therefore a broad understanding of the protocol at an abstract level can be gained before adding more complexity and concrete detail. A secondary aim is to...
متن کاملThe Formal Specification of the Fieldbus Foundation Link Scheduler in E-LOTOS
This paper examines the applicability of the new specification language E-LOTOS in the description of real time applications. E-LOTOS is the new extended version of LOTOS, currently under consideration by the ISO/IEC committee. The paper presents the complete process of producing the formal specification of a real time scheduler from its informal description. During this process, a semi-formal ...
متن کاملAbout time nondeterminism and exception handling in a temporal extension of LOTOS
The paper deals with the study of a temporal extension of Basic LOTOS, and addresses in particular issues related to the expression of time nondeterminism and to the speciication of temporal exception handling behaviors. The underlying framework of the proposed extension stems from our previous proposal, RT-LOTOS, and from the work conducted by G. Leduc on Timed LOTOS and, more recently on ET-L...
متن کامل